🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

Almost Always Auto (2013)
herbsutter.com·1h·
Discuss: Hacker News
🦀Rust Macros
A Rust shaped hole
ente.io·3d
🦀Rust Macros
Why Even Legendary Games Like Wesnoth Hide Bugs in Plain Sight
hackernoon.com·3h
📜Proof Carrying Code
Gradual negation types and the Python type system
jellezijlstra.github.io·4h·
Discuss: Hacker News
🔬Refinement Types
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🦀Rust Verification
What people said about an OpenZFS bug
despairlabs.com·19h·
Discuss: Lobsters, Hacker News
🔓Decompilation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·15h
🔒WASM Capabilities
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Zig Interface Revisited
williamw520.github.io·18h·
Discuss: Hacker News
🧩WASM Components
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·16h·
Discuss: Hacker News
✨Algebraic Effects
C++ Trailing Return Types (2022)
danielsieger.com·2h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
The Best C++ Library
mcyoung.xyz·3d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·2d·
Discuss: Hacker News, Hacker News
🦀Rust Borrowing
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A thread-safety gotcha with CurrentAttributes
thoughtbot.com·2d
🦀Rust Borrowing